1. Domain Theory, Logic and Computation :
پدیدآورنده: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
2. Domains and Processes :
پدیدآورنده: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
3. Dynamic Worlds
پدیدآورنده: edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
4. Formal Ontology and Conceptual Realism
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
5. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده: / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
6. New Essays in Free Logic
پدیدآورنده: edited by Edgar Morscher, Alexander Hieke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General).,Semantics.
7. Philosophical Logic and Artificial Intelligence
پدیدآورنده: edited by Richmond H. Thomason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
